home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Small Eiffel 0.4.8 / lib_std / boolean_ref.e < prev    next >
Text File  |  1997-04-13  |  2KB  |  109 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class BOOLEAN_REF
  5.    
  6. inherit 
  7.    ANY 
  8.       redefine out_in_tagged_out_memory, fill_tagged_out_memory
  9.       end;
  10.    
  11. creation make
  12.  
  13. feature 
  14.  
  15.    item: BOOLEAN;      
  16.      -- Value of Current
  17.  
  18.    make(value: BOOLEAN) is
  19.      -- Initialize object
  20.       do  
  21.      item := value
  22.       end;
  23.  
  24. feature
  25.    
  26.    set_item(value: like item) is
  27.       do
  28.      item := value;
  29.       end;
  30.  
  31.    infix "and" (other : BOOLEAN_REF) : BOOLEAN_REF is
  32.      -- `and' of Current with `other'.
  33.       require
  34.      other /= Void
  35.       do
  36.      !!Result.make (item and other.item)
  37.       end;
  38.  
  39.    infix "and then" (other : BOOLEAN_REF) : BOOLEAN_REF is
  40.      -- Semi-strict `and' of Current with `other'.
  41.       require
  42.      other /= Void
  43.       do
  44.      !!Result.make (item and then other.item)
  45.       end;
  46.  
  47.    infix "implies" (other : BOOLEAN_REF) : BOOLEAN_REF is
  48.      -- Does Current imply `other'.
  49.       require
  50.      other /= Void
  51.       do
  52.      !!Result.make (item implies other.item)
  53.       end;
  54.  
  55.    infix "or" (other : BOOLEAN_REF) : BOOLEAN_REF is
  56.      -- `or' of Current with `other'
  57.       require
  58.      other_not_void : other /= Void
  59.       do
  60.      !!Result.make (item or other.item)
  61.       end;
  62.  
  63.    infix "or else" (other : BOOLEAN_REF) : BOOLEAN_REF is
  64.      -- Semi-strict `or' of Current with `other'
  65.       require
  66.      other_not_void : other /= Void
  67.       do
  68.      !!Result.make (item or else other.item)
  69.       end;
  70.  
  71.    infix "xor" (other: BOOLEAN_REF): BOOLEAN_REF is
  72.      -- `xor' of Current with `other'
  73.       require
  74.      other /= Void
  75.       do
  76.      !!Result.make (item xor other.item)
  77.       end;
  78.  
  79.    prefix "not": BOOLEAN_REF is
  80.      -- `not' of Current.
  81.       do
  82.      !!Result.make(not item)
  83.       end;
  84.  
  85.    out_in_tagged_out_memory, fill_tagged_out_memory is
  86.       do
  87.      item.fill_tagged_out_memory;
  88.       end;
  89.  
  90.    to_string: STRING is
  91.       do
  92.      if Current.item then
  93.         Result := "true";
  94.      else
  95.         Result := "false";
  96.      end;
  97.       end;
  98.    
  99.    to_integer: INTEGER is
  100.       do
  101.      if Current.item then
  102.         Result := 1;
  103.      else
  104.         Result := 0;
  105.      end;
  106.       end;
  107.    
  108. end -- BOOLEAN_REF
  109.